Proof shows that the theorem holds